Consolidation of Ground Truth Sets for Weakness Detection in Smart Contracts

Smart contracts are small programs on the blockchain that often handle valuable assets. Vulnerabilities in smart contracts can be costly, as time has shown over and over again. Countermeasures are high in demand and include best practice recommendations as well as tools supporting development, program verification, and post-deployment analysis. Many tools focus on detecting the absence or presence of a subset of the known vulnerabilities, delivering results of varying quality. Most comparative tool evaluations resort to selecting a handful of tools and testing them against each other. In the best case, the evaluation is based on a smallish ground truth. For Ethereum, there are commendable efforts by several author groups to manually classify contracts. However, a comprehensive ground truth is still lacking. In this work, we construct a ground truth based on publicly available benchmark sets for Ethereum smart contracts with manually checked ground truth data. We develop a method to unify these sets. Additionally, we devise strategies for matching entries that pertain to the same contract, such that we can determine overlaps and disagreements between the sets and consolidate the disagreements. Finally, we assess the quality of the included ground truth sets. Our work reduces inconsistencies, redundancies, and incompleteness while increasing the number of data points and heterogeneity

Shape Grammars for Architectural Heritage

Shape grammars have been introduced in architectural theory some decades ago. They have been applied to architectural construction methods (e.g. Chinese traditional wooden buildings) or for analyzing the design patterns of well-known architects (e.g. Palladio, Frank Lloyd-Wright).These examples demonstrated that complex geometrical shapes could be generated by a set of replacement rules out of a start symbol, usually a simple geometric shape. With the advent of powerful tools like the CityEngine an interesting field for practical applications of these grammars arose opening a whole range of new possibilities for architectural heritage.On the one hand, a description of ancient building principles in the formalized way of a shape grammar can aid the understanding and preservation of cultural heritage. With the possibility to actually construct digital 3D models out of shape grammars, they became even more interesting. Furthermore, this approach allows for a large scale creation of 3D models of entire settlements and cities.On the other hand, shape grammars allow for structured approaches to virtual 3D reconstruction as has been demonstrated for e.g. Mayan or Roman architecture. Besides that, the possibility to specify parameterized variations of the models proves to be an extremely helpful feature.In this paper we reconsider shape grammars in architecture and examine influences onto procedural modelling. Then we argue for state-of-the-art tools like the CityEngine that apply shape grammars and procedural modelling in architectural contexts and exemplify their power and potential by reconstructing traditional Balinese settlements

SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts

Smart contracts are blockchain programs that often handle valuable assets. Writing secure smart contracts is far from trivial, and any vulnerability may lead to significant financial losses. To support developers in identifying and eliminating vulnerabilities, methods and tools for the automated analysis have been proposed. However, the lack of commonly accepted benchmark suites and performance metrics makes it difficult to compare and evaluate such tools. Moreover, the tools are heterogeneous in their interfaces and reports as well as their runtime requirements, and installing several tools is time-consuming. In this paper, we present SmartBugs 2.0, a modular execution framework. It provides a uniform interface to 19 tools aimed at smart contract analysis and accepts both Solidity source code and EVM bytecode as input. After describing its architecture, we highlight the features of the framework. We evaluate the framework via its reception by the community and illustrate its scalability by describing its role in a study involving 3.25 million analyses

130 purification of large scale mrna encoding zfn nucleases by dhplc technology

A novel strategy of targeted gene correction of the interleukin-2 receptor common gamma chain (IL2RG) gene for the treatment of X-linked Severe Combined Immunodeficiency (SCID-X1) is achieved by the combination of a pair of IL2RG-specific Zinc Finger Nucleases (ZFN) and the correct-gene template DNA delivered by integration-defective lentiviral vector (IDLV).The transient expression of the ZFN pair targeting the disease-causing gene is obtained by the electroporation of the two corresponding mRNAs, produced by in vitro transcription starting from plasmid DNA template. A major limitation of the mRNA transcribed in vitro is the presence of residual contaminants such as short RNAs and double stranded (ds)RNAs that may affect the function and spectrophotometric quantification of the product hampering therefore the delivery of high quality and precise amount of mRNA to target cells. Moreover, dsRNA contaminants represent a possible risk in terms of immunogenicity of the product, leading to activation of unwanted innate immune response with consequent reduction/abrogation of mRNA translation as well as potential alteration of the properties of the transfected cells. To improve nuclease expression while decreasing cellular innate response to mRNA transfection we combined different strategies: (i) inclusion of UTRs and polyA tails in the DNA template used for mRNA production; (ii) use of modified nucleotides during mRNA production and (iii) purification of the mRNAs by dHPLC with a reverse phase column made of non-porous matrix consisting of polystyrene-divinylbenzene copolymer beads alkylated with C-18 chains (Transgenomic, LTD.). In particular, the purification of in vitro transcribed mRNAs by means of dHPLC has been shown to strongly improve the translation of mRNA and significantly reduce the contaminant presence thus preventing innate immunity and eventually increasing modified cells persistence in vivo. We have developed feasible and reproducible, small and large scale mRNA production and downstream purification processes of the ZFN pairs obtaining accurate RNA quantification and reduced risk of immunogenicity. The full process achieved a 60% yield, loading with a 500µg RNA for each run with a single clean chromatographic peak. Furthermore, the level of residual organic solvent (i.e. Acetonitrile) used in the purification process is compatible with that applicable into clinic. The highly translatable non-immunogenic dHPLC-purified mRNA can be delivered without toxicity and represents a powerful and safe tool for the application of gene therapy protocols

DNA damage contributes to neurotoxic inflammation in Aicardi-Goutières Syndrome astrocytes

Aberrant induction of type I IFN is a hallmark of the inherited encephalopathy Aicardi-Goutières syndrome (AGS), but the mechanisms triggering disease in the human central nervous system (CNS) remain elusive. Here, we generated human models of AGS using genetically modified and patient-derived pluripotent stem cells harboring TREX1 or RNASEH2B loss-of-function alleles. Genome-wide transcriptomic analysis reveals that spontaneous proinflammatory activation in AGS astrocytes initiates signaling cascades impacting multiple CNS cell subsets analyzed at the single-cell level. We identify accumulating DNA damage, with elevated R-loop and micronuclei formation, as a driver of STING- and NLRP3-related inflammatory responses leading to the secretion of neurotoxic mediators. Importantly, pharmacological inhibition of proapoptotic or inflammatory cascades in AGS astrocytes prevents neurotoxicity without apparent impact on their increased type I IFN responses. Together, our work identifies DNA damage as a major driver of neurotoxic inflammation in AGS astrocytes, suggests a role for AGS gene products in R-loop homeostasis, and identifies common denominators of disease that can be targeted to prevent astrocyte-mediated neurotoxicity in AGS

Associations between depressive symptoms and disease progression in older patients with chronic kidney disease: results of the EQUAL study

Background Depressive symptoms are associated with adverse clinical outcomes in patients with end-stage kidney disease; however, few small studies have examined this association in patients with earlier phases of chronic kidney disease (CKD). We studied associations between baseline depressive symptoms and clinical outcomes in older patients with advanced CKD and examined whether these associations differed depending on sex. Methods CKD patients (>= 65 years; estimated glomerular filtration rate <= 20 mL/min/1.73 m(2)) were included from a European multicentre prospective cohort between 2012 and 2019. Depressive symptoms were measured by the five-item Mental Health Inventory (cut-off <= 70; 0-100 scale). Cox proportional hazard analysis was used to study associations between depressive symptoms and time to dialysis initiation, all-cause mortality and these outcomes combined. A joint model was used to study the association between depressive symptoms and kidney function over time. Analyses were adjusted for potential baseline confounders. Results Overall kidney function decline in 1326 patients was -0.12 mL/min/1.73 m(2)/month. A total of 515 patients showed depressive symptoms. No significant association was found between depressive symptoms and kidney function over time (P = 0.08). Unlike women, men with depressive symptoms had an increased mortality rate compared with those without symptoms [adjusted hazard ratio 1.41 (95% confidence interval 1.03-1.93)]. Depressive symptoms were not significantly associated with a higher hazard of dialysis initiation, or with the combined outcome (i.e. dialysis initiation and all-cause mortality). Conclusions There was no significant association between depressive symptoms at baseline and decline in kidney function over time in older patients with advanced CKD. Depressive symptoms at baseline were associated with a higher mortality rate in men

Albiglutide and cardiovascular outcomes in patients with type 2 diabetes and cardiovascular disease (Harmony Outcomes): a double-blind, randomised placebo-controlled trial

Background: Glucagon-like peptide 1 receptor agonists differ in chemical structure, duration of action, and in their effects on clinical outcomes. The cardiovascular effects of once-weekly albiglutide in type 2 diabetes are unknown. We aimed to determine the safety and efficacy of albiglutide in preventing cardiovascular death, myocardial infarction, or stroke. Methods: We did a double-blind, randomised, placebo-controlled trial in 610 sites across 28 countries. We randomly assigned patients aged 40 years and older with type 2 diabetes and cardiovascular disease (at a 1:1 ratio) to groups that either received a subcutaneous injection of albiglutide (30–50 mg, based on glycaemic response and tolerability) or of a matched volume of placebo once a week, in addition to their standard care. Investigators used an interactive voice or web response system to obtain treatment assignment, and patients and all study investigators were masked to their treatment allocation. We hypothesised that albiglutide would be non-inferior to placebo for the primary outcome of the first occurrence of cardiovascular death, myocardial infarction, or stroke, which was assessed in the intention-to-treat population. If non-inferiority was confirmed by an upper limit of the 95% CI for a hazard ratio of less than 1·30, closed testing for superiority was prespecified. This study is registered with ClinicalTrials.gov, number NCT02465515. Findings: Patients were screened between July 1, 2015, and Nov 24, 2016. 10 793 patients were screened and 9463 participants were enrolled and randomly assigned to groups: 4731 patients were assigned to receive albiglutide and 4732 patients to receive placebo. On Nov 8, 2017, it was determined that 611 primary endpoints and a median follow-up of at least 1·5 years had accrued, and participants returned for a final visit and discontinuation from study treatment; the last patient visit was on March 12, 2018. These 9463 patients, the intention-to-treat population, were evaluated for a median duration of 1·6 years and were assessed for the primary outcome. The primary composite outcome occurred in 338 (7%) of 4731 patients at an incidence rate of 4·6 events per 100 person-years in the albiglutide group and in 428 (9%) of 4732 patients at an incidence rate of 5·9 events per 100 person-years in the placebo group (hazard ratio 0·78, 95% CI 0·68–0·90), which indicated that albiglutide was superior to placebo (p<0·0001 for non-inferiority; p=0·0006 for superiority). The incidence of acute pancreatitis (ten patients in the albiglutide group and seven patients in the placebo group), pancreatic cancer (six patients in the albiglutide group and five patients in the placebo group), medullary thyroid carcinoma (zero patients in both groups), and other serious adverse events did not differ between the two groups. There were three (<1%) deaths in the placebo group that were assessed by investigators, who were masked to study drug assignment, to be treatment-related and two (<1%) deaths in the albiglutide group. Interpretation: In patients with type 2 diabetes and cardiovascular disease, albiglutide was superior to placebo with respect to major adverse cardiovascular events. Evidence-based glucagon-like peptide 1 receptor agonists should therefore be considered as part of a comprehensive strategy to reduce the risk of cardiovascular events in patients with type 2 diabetes. Funding: GlaxoSmithKline

Azimuthal anisotropy of charged jet production in root s(NN)=2.76 TeV Pb-Pb collisions

We present measurements of the azimuthal dependence of charged jet production in central and semi-central root s(NN) = 2.76 TeV Pb-Pb collisions with respect to the second harmonic event plane, quantified as nu(ch)(2) (jet). Jet finding is performed employing the anti-k(T) algorithm with a resolution parameter R = 0.2 using charged tracks from the ALICE tracking system. The contribution of the azimuthal anisotropy of the underlying event is taken into account event-by-event. The remaining (statistical) region-to-region fluctuations are removed on an ensemble basis by unfolding the jet spectra for different event plane orientations independently. Significant non-zero nu(ch)(2) (jet) is observed in semi-central collisions (30-50% centrality) for 20 <p(T)(ch) (jet) <90 GeV/c. The azimuthal dependence of the charged jet production is similar to the dependence observed for jets comprising both charged and neutral fragments, and compatible with measurements of the nu(2) of single charged particles at high p(T). Good agreement between the data and predictions from JEWEL, an event generator simulating parton shower evolution in the presence of a dense QCD medium, is found in semi-central collisions. (C) 2015 CERN for the benefit of the ALICE Collaboration. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/4.0/).Peer reviewe

Forward-central two-particle correlations in p-Pb collisions at root s(NN)=5.02 TeV

Two-particle angular correlations between trigger particles in the forward pseudorapidity range (2.5 2GeV/c. (C) 2015 CERN for the benefit of the ALICE Collaboration. Published by Elsevier B. V.Peer reviewe